peridotite definition